退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:不明飞行物:基于抽象和插值的软件验证框架
Aws Albarghouthi; Yi Li; Arie Gurfinkel; Marsha Chechik;
机译:演化软件的假设保证回归验证框架
机译:嵌入式电源管理系统中的软件便携性和验证的基于模型的框架
机译:用于软件设计和验证的模型驱动的安全框架
机译:Ufo:基于抽象和插值的软件验证框架
机译:自适应软件的运行时验证和确认框架。
机译:用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
机译:用于设计和验证计算机数控(CNC)系统的可靠可靠软件的正式规范和验证框架
机译:时基服务验证软件一种软件交付框架,用于验证由专业服务提供商按时计费的活动。该软件系统存储在互联网云中或内部,可以安全地集中来自相互信任的证据来源的增量时间计费的度量,以确保所有各方都可以验证其参与的成果。
机译:用于软件 - 硬件模型的学习框架生成和验证
机译:通过使用虚拟硬件加密验证,防止虚拟机软件盗版(VMS)的框架
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。